home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / napoleon.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  1.3 KB  |  43 lines
  1. .geometry "version 0.1";
  2. v1 = .free(0.108209, 0.432836, "1");
  3. v2 = .free(0.309702, 0.208955, "2");
  4. v3 = .free(0.208955, -0.470149, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. c1 = .c.vv(v1, v3, .invisible);
  9. c2 = .c.vv(v3, v1, .invisible);
  10. c3 = .c.vv(v1, v2, .invisible);
  11. c4 = .c.vv(v2, v1, .invisible);
  12. c5 = .c.vv(v3, v2, .invisible);
  13. c6 = .c.vv(v2, v3, .invisible);
  14. v5 = .v.cc(c6, c5, 2);
  15. v7 = .v.cc(c2, c1, 2);
  16. v9 = .v.cc(c3, c4, 2);
  17. l4 = .l.vv(v1, v9);
  18. l5 = .l.vv(v9, v2);
  19. l6 = .l.vv(v2, v5);
  20. l7 = .l.vv(v5, v3);
  21. l8 = .l.vv(v3, v7);
  22. l9 = .l.vv(v7, v1);
  23. l10 = .l.vlperp(v9, l1, .invisible);
  24. l11 = .l.vlperp(v1, l5, .invisible);
  25. v10 = .v.ll(l10, l11);
  26. l12 = .l.vlperp(v7, l3, .invisible);
  27. l13 = .l.vlperp(v3, l9, .invisible);
  28. v11 = .v.ll(l12, l13);
  29. l14 = .l.vlperp(v5, l2, .invisible);
  30. l15 = .l.vlperp(v3, l6, .invisible);
  31. l16 = .l.vlperp(v5, l2, .invisible);
  32. v15 = .v.ll(l16, l15);
  33. l17 = .l.vv(v11, v10, .green);
  34. l18 = .l.vv(v10, v15, .green);
  35. l19 = .l.vv(v15, v11, .green);
  36. .text("Napoleon's Theorem:");
  37. .text("");
  38. .text("If an equilateral triangle is constructed on each edge if a triangle,");
  39. .text("then the centers of the three equilateral triangles form an equilateral");
  40. .text("triangle.  In the figure, the original triangle has vertices 1, 2, and 3.");
  41. .text("");
  42. .text("Supposedly, this theorem was discovered by Napoleon Bonaparte.");
  43.